<html>
<head><meta charset="utf-8"><title>trait alias · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html">trait alias</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="212380122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212380122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212380122">(Oct 06 2020 at 03:05)</a>:</h4>
<p>Has there been any work done on modeling trait aliases in chalk?</p>



<a name="212384379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212384379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212384379">(Oct 06 2020 at 04:42)</a>:</h4>
<p>I don't think so</p>



<a name="212467789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212467789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212467789">(Oct 06 2020 at 18:39)</a>:</h4>
<p>Seems doable to add a <code>AliasEq</code> type for that</p>



<a name="212469892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212469892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212469892">(Oct 06 2020 at 18:56)</a>:</h4>
<p>For <em>trait</em> aliases?</p>



<a name="212469906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212469906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212469906">(Oct 06 2020 at 18:56)</a>:</h4>
<p>I think are a bit more complicated</p>



<a name="212469964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212469964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212469964">(Oct 06 2020 at 18:57)</a>:</h4>
<p>Err, I meant <code>TraitEq</code>, but yes?</p>



<a name="212470108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212470108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212470108">(Oct 06 2020 at 18:58)</a>:</h4>
<p>haven't looked at how they are implemented in rustc</p>



<a name="212476610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212476610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212476610">(Oct 06 2020 at 19:54)</a>:</h4>
<p><span class="user-mention" data-user-id="125294">@Aaron Hill</span> my expectation was that they would be treated as first-class things with rules to translate back and forth</p>



<a name="212476614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212476614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212476614">(Oct 06 2020 at 19:54)</a>:</h4>
<p>I'd love to see work on that</p>



<a name="212477089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212477089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212477089">(Oct 06 2020 at 19:58)</a>:</h4>
<p>How would that affect TraitRef? Would we make <code>TraitId</code> refer to both traits and trait aliases, or would we need <code>enum TraitOrAlias { Trait(TraitId), Alias(AliasId) }</code>?</p>



<a name="212478305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212478305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212478305">(Oct 06 2020 at 20:06)</a>:</h4>
<p>uh</p>



<a name="212478309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212478309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212478309">(Oct 06 2020 at 20:06)</a>:</h4>
<p>not sure :)</p>



<a name="212478319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/trait%20alias/near/212478319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/trait.20alias.html#212478319">(Oct 06 2020 at 20:06)</a>:</h4>
<p>I'd prefer <code>TraitId</code> refers to both, I <em>think</em></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>